| 翻訳と辞書 |
| International Conference on Abstract State Machines, Alloy, B and Z ： ウィキペディア英語版 |
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.
== Meetings and conferences ==
ZUG has organised a series of Z User Meetings approximately every 18 months. From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and from 2008 the ABZ Conference (with Abstract State Machines as well). In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support.〔Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), ''(Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings )'', Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010. ISBN 978-3-642-11810-4.〕
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Z User Group」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|